P-Sharp completude
#P-completo, pronunciado "P-sharp completo" ou "P-número completo" é uma classe de complexidade na teoria da complexidade computacional. Por definição, um problema é #P-completo se, e somente se, ele está em #P, e todo problema em #P pode ser reduzido a ele por uma redução de contagem de tempo polinomial, isto é, uma Redução em tempo polinomial relativas às Cardinalidades dos conjuntos de solução.